(ido-separator): Fix type.

diff --git a/lisp/ido.el b/lisp/ido.el
index 5a704544ea18ae8490a22324b5023db7eb659f81..7a8a8dd92edc1ebca7ebce3978b822e7d46b3a83 100644 (file)
--- a/lisp/ido.el
+++ b/lisp/ido.el
@@ -652,7 +652,7 @@ ask user whether to create buffer, or 'never to never create new buffer."
 (defcustom ido-separator nil
   "*String used by ido to separate the alternatives in the minibuffer.
 Obsolete.  Set 3rd element of `ido-decorations' instead."
-  :type 'string
+  :type '(choice string (const nil))
   :group 'ido)
 
 (defcustom ido-decorations '( "{" "}" " | " " | ..." "[" "]" " [No match]" " [Matched]")